conjunctive normal form satisfiability - Espagnol Anglais Dictionnaire